(progn
 (or () ()))
